1. An introduction to combinators and )Lambda(-calculus
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56I5
2. Introduction to combinators and ]lambda[-calculus
Author: Hindley, J. Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56
1986
3. Lambda-calculus and combinators : an introduction
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H56L3
4. Lambda-calculus and combinators, an introduction
Author: Hindley, J. Roger.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H565
2008
5. Lambda-calculus, combinators, and functional programming
Author: Revesz, Gyorgy E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic,، Functional programming languages
Classification :
QA
9
.
5
.
R48
1988
6. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Proofs and types
Author: Girard, Jean-Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
54
.
G572
1989
